dirichlet's principle - German English Dictionary